Go 学习笔记

go程序是如何运行的

参考链接1

defer 源码分析

参考链接

defer、return、返回值三者的执行逻辑应该是：return最先执行，return负责将结果写入返回值中；接着defer开始执行一些收尾工作；最后函数携带当前返回值退出

逃逸分析堆栈分配

参考链接

go build -gcflags '-m -l' xxx.go 就可以看到逃逸分析的过程和结果

go性能大杀器 pprof

参考链接1
参考链接2

###

pprof中自带 web 火焰图，需要安装graphviz
go tool pprof -http=:8181 xxx,pprof
下面的语句可以结合代码查看哪个函数用时最多
go tool pprof main.go xxxx.prof 进入pprof后执行 list <函数名>

对于web开放的pprof （在http的go程序中添加 `_ "net/http/pprof"`的import,会增加 debug/pprof 的endpoint),结束后将默认进入 pprof 的交互式命令模式

go tool pprof http://localhost:6060/debug/pprof/profile?seconds=60
go tool pprof http://localhost:6060/debug/pprof/heap

go性能大杀器 trace

同pprof

对于web开放的pprof （在http的go程序中添加 _ "net/http/pprof"的import

curl http://127.0.0.1:6060/debug/pprof/trace\?seconds\=20 > trace.out
go tool trace trace.out # 此处和pprof不同，不用加 -http=:8181 这里他会自动选择端口

对于后台应用,后台程序main启动时添加 trace.Start(os.Stderr)直接运行下面的命令即可

go run main.go 2> trace.out

它能够跟踪捕获各种执行中的事件，例如 Goroutine 的创建/阻塞/解除阻塞，Syscall 的进入/退出/阻止，GC 事件，Heap 的大小改变，Processor 启动/停止等等

interface

不含有任何方法的 interface

type eface struct { // 16 bytes
	_type *_type
	data  unsafe.Pointer
}

含有方法的 interface

type iface struct { // 16 bytes
	tab  *itab
	data unsafe.Pointer
}

变量类型	结构体实现接口	结构体指针实现接口
结构体初始化变量	通过	不通过
结构体指针初始化变量	通过	通过

不通过的如下

type Duck interface {
	Quack()
}

type Cat struct{}

func (c *Cat) Quack() {
	fmt.Println("meow")
}

func main() {
	var c Duck = Cat{}  // 将结构体变量传到指针类型接受的函数是不行的，反过来可行
	c.Quack()
}

$ go build interface.go
./interface.go:20:6: cannot use Cat literal (type Cat) as type Duck in assignment:
	Cat does not implement Duck (Quack method has pointer receiver)

Go中函数调用都是值拷贝，使用 c.Quack() 调用方法时都会发生值拷贝：

对于 &Cat{} 来说，这意味着拷贝一个新的 &Cat{} 指针，这个指针与原来的指针指向一个相同并且唯一的结构体，所以编译器可以隐式的对变量解引用（dereference）获取指针指向的结构体；
对于 Cat{} 来说，这意味着 Quack 方法会接受一个全新的 Cat{}，因为方法的参数是*Cat，编译器不会无中生有创建一个新的指针；即使编译器可以创建新指针，这个指针指向的也不是最初调用该方法的结构体；

panic

panic只会调用当前Goroutine的defer（）

func main() {
	defer println("in main")
	go func() {
		defer println("in goroutine")
		panic("")
	}()

	time.Sleep(1 * time.Second)
}

$ go run main.go
in goroutine
panic:

make new

new 返回的是指针，指向一个type类型内存空间的指针
new等价于

var  a  typeA  // tpyeA的零值
b:=&a

但是 new不能对 chanel map slice进行初始化，这几个必须经过make进行结构体的初始化才能用